/*
 * RAndL.h
 *
 *  Created on: May 1, 2012
 *      Author: kobe
 */

#ifndef RANDL_H_
#define RANDL_H_

#include "Rule.h"
#include "Sequent.h"
#include <vector>
#include <cstdlib>
#include <string>

class R_AndL: public Rule {
public:
	R_AndL();
	virtual ~R_AndL();
	std::vector<Sequent*> run(Sequent*);
	std::string toString();

	std::string toLatex();
};

#endif /* RANDL_H_ */
